检索结果

Select

1. Agent信念的遗忘修正方法

林运国林耀海王秀丽

计算机应用 2010, 30 (10): 2572-2574.

摘要（1153）

PDF （612KB）（926）

为了使信念修正能够满足最小改变原则，首先基于遗忘理论定义遗忘收缩算子，并且证明该算子满足必要AGM收缩假定；然后通过Levi Identity构建遗忘修正算子；最后给出遗忘修正方法和多次遗忘修正算法。实例分析表明,算法具有可行性和有效性，能够得到较满意的修正结果。

相关文章 | 多维度评价

Select

2. 强弱例外下的交互时态逻辑

赖贤伟胡山立宁正元王秀丽

计算机应用

摘要（1731）

PDF （1125KB）（1164）

非单调推理是众多人工智能应用系统都可能面对的问题，多Agent系统也不例外。在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。

相关文章 | 多维度评价

Select

3. 基于动态适应度的独立任务调度算法

王秀丽宁正元

计算机应用

摘要（1663）

PDF （539KB）（1322）

在分析现有启发式调度算法的优缺点的基础上，综合考虑负载平衡和使尽可能多的任务调度到更适合它的机器上，提出了基于动态适应度（DFD）的调度算法，任务的DFD描述了最早完成时间所在机器对任务的适应程度，本算法以任务的DFD为优先级，优先调度DFD高的任务。与参考文献中其他算法进行比较表明，本算法能产生更好的调度结果。